A Guide to Specialising Gödel Programs with the Partial Evaluator SAGE

This document provides a description of the partial evaluator SAGE , a partial evaluator written in the logic programming language Gödel which specialises Gödel programs. Although capable of specialising any Gödel program SAGE was developed primarily to specialise meta-programs which use a ground representation. To assist users of SAGE this document gives an overview of SAGE , a manual for its use and a guide to writing Gödel programs, particularly meta-programs, in a style which makes them amenable to specialisation.